$\vdash$  $\forall$$b$:$\mathbb{B}$. Dec($\uparrow$$b$)